"We present a proof-theoretic foundation for logic programming in Girard's linear logic. We exploit the permutability properties of two-sided linear sequent calculus to identify appropriate notions of uniform proof, definite formula, goal formula, clause and resolution proof for fragments of linear logic. The analysis of this paper extends earlier work by the present authors to include negative occurrences of [cross] (par) and positive occurences of! (of course!) and? (why not?). These connectives introduce considerable difficulty. We consider briefly some of the (...) issues related to the mechanical implementation of our resolution proofs.". (shrink)

Further difficulties are encountered when we consider the addition of the modality! (of course) to our fragment of linear logic. We provide an elementary quantale semantics for our logic programs and give an appropriate completeness theorem. We consider a translation -- resembling those of Girard -- of the intuitionistic hereditary Harrop formulae and intuitionistic uniform proofs into our framework, and show that certain properties are preserved under this translation. We sketch the design of an interpreter for linear logic programs.

Adherents of traditional western Theism have espoused CONJUNCTION: God is essentially perfectly good and God is thankworthy for the good acts he performs. But suppose that (i) God’s essential perfect goodness prevents his good acts from being free, and that (ii) God is not thankworthy for an act that wasn’t freely performed. Together these entail the denial of CONJUNCTION. The most natural strategy for defenders of CONJUNCTION is to deny (i). We develop an argument for (i), and then identify two (...) ways for the defender of CONJUNCTION to respond. Next we turn to a considerably different, rather less obvious route toward defending CONJUNCTION that is compatible with (i)—one which instead denies (ii). Here too we identify two ways for the defender of CONJUNCTION to proceed, yielding a total of four ways for the theist to respond. Because the last of these represents an important and underappreciated alternative for the theist, we devote the second half of the paper to developing and defending it. We argue that divine responsibility is sufficient for divine thankworthiness and consistent with the absence of divine freedom. We do this while insisting on the view that both freedom and responsibility are incompatible with causal determinism. (shrink)

Filosofische ponering van de subjectiviteit van elke interpretatie.

This chapter examines one class of public emotions – the “political emotions,” such as patriotism and promotion of the national interest and how they are, or are not, compatible with good journalism in a global media era. To what extent is journalism ethics, as we have known it, compatible with patriotism and love of nation? Can nation-based political emotions provide appropriate primary values for a global ethics and an emerging global media ethics? With regard to the first question, the chapter (...) argues that only a moderate patriotism is compatible with the principles of journalism ethics in a democracy. With regard to the second question, the chapter argues that a global ethics should not be based on nation-based values. It should be based on global emotions, or global political emotions. (shrink)

Any theory of information needs to comply with what we call the implementation, formalization, and representation constraints. These constraints are justified by basic considerations concerning scientific modelling and methodology. In the first part of this paper, we argue that the implementation and formalization constraints cannot be satisfied because the relation between Shannon information and IIT must be clarified. In the second part of the paper, we focus on the representation constraint. We argue that IIT cannot succeed in satisfying this constraint (...) for semantic contents without offering models for concepts, conceptual roles, and context sensitivity. In the final part of the paper, further complications are raised with respect to the distinction between consciousness and attention, which apply more specifically to the representation constraint. We conclude with some recommendations as to how IIT may succeed in solving these problems, highlighting the advantages and enormous potential of IIT as a scientific theory. (shrink)

Nunez's description of the brain as a medium capable of wave propagation has provided some fundamental insights into its dynamics. This approach soon reaches the descriptive limits of the brain as a physical system, however. We point out some biological constraints which differentiate the brain from physical systems and we elaborate on its consequences for future research.

In this paper we investigate a number of analytical solutions to the polynomial class of nonlinear Klein-Gordon equations in multidimensional spacetime. This is done in the context of classical φ4 and φ6 field theory, the former with and without the inclusion of an external force field conjugate to φ. Both massive (m≠0) and massless (m=0) cases are considered, as well as tachyonic solutions allowed (v>c). We first present a complete set of translationally invariant solutions for the φ4 model and demonstrate (...) the role of external force fields in altering the form of these solutions. Next, spherically symmetric solutions are discussed in both φ4 and φ6 cases since they provide the most realistic models of elementary particles. (shrink)

This commentary explores biological models of analogical and associative learning in support of Illusion 1 and Illusion 4 in D. Noble’s target article. The intent is to support Noble’s theses of emergent higher level functionality from lower level stochastic dynamics and his etiological claim that “there is no privileged level of causation” through a biosemiotic lens. Upon these arguments, a case for creative agency via higher-dimensional constraints will also be made in support of Noble’s claim that organismic behavior is actively (...) directed by an agent. (shrink)

In this late modern era within which the basic values of life have been reordered (driven by globalisation, the corporate agenda and mass communication technologies), the individual has effectively been reduced to a mere abstraction. It might be argued that the rational, moral and humanistic concept of freedom has, to a great extent, been compromised by a consequent crisis within the intelligentsia. These groups, in particular the gatekeepers of a classical liberal approach to legal scholarship, are caught between the twin (...) evils of increased unreflective populism and pragmatism evident within many law schools and modern legal institutions. Although a contested term, defenders of the ‘socio-legal’ tradition, who place the humanities at the heart of legal research and education, are obliged to restate with increased determination the utility of the liberal arts and literature to the law profession and wider legal community. In a normative environment, law and narrative are inextricably linked and narrative poetry is not only invaluable to explaining the origins and location of the legal tradition, but also elicits a mode of understanding which transcends the boundaries of narrowlydefined legal hermeneutics—which often only addresses issues of an operational nature. French novelist Flaubert claimed “chaque notaire porte en soi les débris d’un poète” (Flaubert in Madame bovary (trans: Wall, G.), Penguin Classics, London, 1960: 269), paraphrased by American civil rights lawyer, Clarence Darrow, as “inside every lawyer is the wreck of a poet” (Lukas in Big trouble: a murder in a small western town sets off a struggle for the soul of America, Simon & Schuster, New York, 1997: 323). In an age of disenchantment, this paper explores the poetic form as an important medium within which to understand the nature and function of law in a society of differentiated individuals. (shrink)

The Ageing of societies is a unique historical development of mankind. Today, such ageing is recognized as a threat for developed societies. There is fear of increasing inequality in health and in access to health care. Apart from the costs of ageing and care, such fear creates intergenerational conflicts. This paper explores what values are at stake when a society ages. At issue here is the social position of the old citizens and the way in which they are regarded by (...) their fellow citizens. Findings indicate the need to contemplate the consequences of ageing for societies and to discuss the impact these have for the values dominating contemporary post-welfare states. European welfare states were based on a balanced combination of three values: freedom, equality, and solidarity. Because these values are misbalanced now, equal accessibility of care and conditions for social participation are disappearing. Therefore, we shall have to think about new ways in which our societies can reaffirm basic human values. (shrink)

The themes explored include political liberty, "legal tyranny," defences of influence in government, recognition of the Opposition, and the development of organic categories of political analysis - the latter in a chapter that explodes the association often presumed between organicism and conservative modes of thought. A chapter on the "Fourth Estate" examines the gradual process of legitimation of "interests," culminating in the influence of the press. Central to the account of new political forces and their recognition is the idea of (...) public opinion, which evolved during this period from the notion of public spirit. Chapters on the classical legacy of the century and on the High-Tories examine two backward-looking aspects of the political cultrure. Tracing the persistent influence of High-Toryism, Gunn questions the conventional wisdom about eighteenth-century ideological consensus in general and Whig solidarity in particular. He demonstrates that theories of government from the seventeenth century survived to a degree not previously admitted by modern scholarship. (shrink)